Each of the files in this folder can be loaded into Shen with THORN installed.
A file may contains multiple problems; note that all proofs are sent to prf.txt
and later proofs overwrite earlier ones.   So if you want to see all the proofs
for problems in a file, you need to paste the problems in singly.

In order they are:

File                                 Contents
_______________________________________________
app.shen                             definition of append and theorem